Reduced Normal Forms Are Not Extensive Forms

Fundamental results in the theory of extensive form games have singled out the reduced normal form as the key representation of a game in terms of strategic equivalence. In a precise sense, the reduced normal form contains all strategically relevant information. This note shows that a difficulty with the concept has been overlooked so far: given a reduced normal form alone, it may be impossible to reconstruct the game’s extensive form representation

Stability Analysis of Frame Slotted Aloha Protocol

Frame Slotted Aloha (FSA) protocol has been widely applied in Radio Frequency Identification (RFID) systems as the de facto standard in tag identification. However, very limited work has been done on the stability of FSA despite its fundamental importance both on the theoretical characterisation of FSA performance and its effective operation in practical systems. In order to bridge this gap, we devote this paper to investigating the stability properties of FSA by focusing on two physical layer models of practical importance, the models with single packet reception and multipacket reception capabilities. Technically, we model the FSA system backlog as a Markov chain with its states being backlog size at the beginning of each frame. The objective is to analyze the ergodicity of the Markov chain and demonstrate its properties in different regions, particularly the instability region. By employing drift analysis, we obtain the closed-form conditions for the stability of FSA and show that the stability region is maximised when the frame length equals the backlog size in the single packet reception model and when the ratio of the backlog size to frame length equals in order of magnitude the maximum multipacket reception capacity in the multipacket reception model. Furthermore, to characterise system behavior in the instability region, we mathematically demonstrate the existence of transience of the backlog Markov chain.Comment: 14 pages, submitted to IEEE Transaction on Information Theor

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To enable operational support for business processes, the latter are usually specified in an imperative way. The resulting process models, however, tend to be too rigid to meet the flexibility demands of the actors involved. Declarative process modeling languages, in turn, provide a promising alternative in scenarios in which a high level of flexibility is demanded. In the scientific literature, declarative languages have been used for modeling rather simple processes or synthetic examples. However, to the best of our knowledge, they have not been used to model complex, real-world scenarios that comprise constraints going beyond control-flow. In this paper, we propose the use of a declarative language for modeling a sophisticated healthcare process scenario from the real world. The scenario is subject to complex temporal constraints and entails the need for coordinating the constraint-based interactions among the processes related to a patient treatment process. As demonstrated in this work, the selected real process scenario can be suitably modeled through a declarative approach.Ministerio de Economía y Competitividad TIN2016-76956-C3-2-RMinisterio de Economía y Competitividad TIN2015-71938-RED

Complete Genome Characterisation of a Novel 26th Bluetongue Virus Serotype from Kuwait

Bluetongue virus is the “type” species of the genus Orbivirus, family Reoviridae. Twenty four distinct bluetongue virus (BTV) serotypes have been recognized for decades, any of which is thought to be capable of causing “bluetongue” (BT), an insect-borne disease of ruminants. However, two further BTV serotypes, BTV-25 (Toggenburg orbivirus, from Switzerland) and BTV-26 (from Kuwait) have recently been identified in goats and sheep, respectively. The BTV genome is composed of ten segments of linear dsRNA, encoding 7 virus-structural proteins (VP1 to VP7) and four distinct non-structural (NS) proteins (NS1 to NS4). We report the entire BTV-26 genome sequence (isolate KUW2010/02) and comparisons to other orbiviruses. Highest identity levels were consistently detected with other BTV strains, identifying KUW2010/02 as BTV. The outer-core protein and major BTV serogroup-specific antigen “VP7” showed 98% aa sequence identity with BTV-25, indicating a common ancestry. However, higher level of variation in the nucleotide sequence of Seg-7 (81.2% identity) suggests strong conservation pressures on the protein of these two strains, and that they diverged a long time ago. Comparisons of Seg-2, encoding major outer-capsid component and cell-attachment protein “VP2” identified KUW2010/02 as 26th BTV, within a 12th Seg-2 nucleotype [nucleotype L]. Comparisons of Seg-6, encoding the smaller outer capsid protein VP5, also showed levels of nt/aa variation consistent with identification of KUW2010/02 as BTV-26 (within a 9th Seg-6 nucleotype - nucleotype I). Sequence data for Seg-2 of KUW2010/02 were used to design four sets of oligonucleotide primers for use in BTV-26, type-specific RT-PCR assays. Analyses of other more conserved genome segments placed KUW2010/02 and BTV-25/SWI2008/01 closer to each other than to other “eastern” or “western” BTV strains, but as representatives of two novel and distinct geographic groups (topotypes). Our analyses indicate that all of the BTV genome segments have evolved under strong purifying selection

Evolution of cooperation in stochastic games

Social dilemmas occur when incentives for individuals are misaligned with group interests 1-7 . According to the 'tragedy of the commons', these misalignments can lead to overexploitation and collapse of public resources. The resulting behaviours can be analysed with the tools of game theory 8 . The theory of direct reciprocity 9-15 suggests that repeated interactions can alleviate such dilemmas, but previous work has assumed that the public resource remains constant over time. Here we introduce the idea that the public resource is instead changeable and depends on the strategic choices of individuals. An intuitive scenario is that cooperation increases the public resource, whereas defection decreases it. Thus, cooperation allows the possibility of playing a more valuable game with higher payoffs, whereas defection leads to a less valuable game. We analyse this idea using the theory of stochastic games 16-19 and evolutionary game theory. We find that the dependence of the public resource on previous interactions can greatly enhance the propensity for cooperation. For these results, the interaction between reciprocity and payoff feedback is crucial: neither repeated interactions in a constant environment nor single interactions in a changing environment yield similar cooperation rates. Our framework shows which feedbacks between exploitation and environment - either naturally occurring or designed - help to overcome social dilemmas

Ciliated Epithelial Cell Differentiation at Air-Liquid Interface Using Commercially Available Culture Media

The human nasal epithelium contains basal stem/progenitor cells that produce differentiated multiciliated and mucosecretory progeny. Basal epithelial cells can be expanded in cell culture and instructed to differentiate at an air-liquid interface using transwell membranes and differentiation media. For basal cell expansion, we have used 3T3-J2 co-culture in epithelial culture medium containing EGF, insulin, and a RHO-associated protein kinase (ROCK) inhibitor, Y-27632 (3T3 + Y). Here we describe our protocols for ciliated differentiation of these cultures at air-liquid interface and compare four commercially available differentiation media, across nine donor cell cultures (six healthy, two patients with chronic obstructive pulmonary disease (COPD), and one with primary ciliary dyskinesia (PCD)). Bright-field and immunofluorescence imaging suggested broad similarity between differentiation protocols. Subtle differences were seen in transepithelial electrical resistance (TEER), ciliary beat frequency, mucus production, and the extent to which basal cells are retained in differentiated cultures. Overall, the specific differentiation medium used in our air-liquid interface culture protocol was not a major determinant of ciliation, and our data suggest that the differentiation potential of basal cells at the outset is a more critical factor in air-liquid interface culture outcome. Detailed information on the constituents of the differentiation media was only available from one of the four manufacturers, a factor that may have profound implications in the interpretation of some research studies

Results of the MAJORANA DEMONSTRATOR's Search for Double-Beta Decay of 76Ge to Excited States of 76Se

The MAJORANA DEMONSTRATOR is searching for double-beta decay of 76Ge to excited states (E.S.) in 76Se using a modular array of high purity Germanium detectors. 76Ge can decay into three E.S.s of 76Se. The E.S. decays have a clear event signature consisting of a ββ-decay with the prompt emission of one or two γ-rays, resulting in with high probability in a multi-site event. The granularity of the DEMONSTRATOR detector array enables powerful discrimination of this event signature from backgrounds. Using 21.3 kg-y of isotopic exposure, the DEMONSTRATOR has set world leading limits for each E.S. decay, with 90% CL lower half-life limits in the range of (0.56 2.1) ⋅ 1024 y. In particular, for the 2v transition to the first 0+ E.S. of 76Se, a lower half-life limit of 0.68 ⋅ 1024 at 90% CL was achieved

ADC Nonlinearity Correction for the Majorana Demonstrator

Imperfections in analog-to-digital conversion (ADC) cannot be ignored when signal digitization requirements demand both wide dynamic range and high resolution, as is the case for the Majorana Demonstrator 76Ge neutrinoless double-beta decay search. Enabling the experiment's high-resolution spectral analysis and efficient pulse shape discrimination required careful measurement and correction of ADC nonlinearities. A simple measurement protocol was developed that did not require sophisticated equipment or lengthy data-taking campaigns. A slope-dependent hysteresis was observed and characterized. A correction applied to digitized waveforms prior to signal processing reduced the differential and integral nonlinearities by an order of magnitude, eliminating these as dominant contributions to the systematic energy uncertainty at the double-beta decay Q value

Development and evaluation of real time RT-PCR assays for detection and typing of Bluetongue virus

Bluetongue virus is the type species of the genus Orbivirus, family Reoviridae. Bluetongue viruses (BTV) are transmitted between their vertebrate hosts primarily by biting midges (Culicoides spp.) in which they also replicate. Consequently BTV distribution is dependent on the activity, geographic distribution, and seasonal abundance of Culicoides spp. The virus can also be transmitted vertically in vertebrate hosts, and some strains/serotypes can be transmitted horizontally in the absence of insect vectors. The BTV genome is composed of ten linear segments of double-stranded (ds) RNA, numbered in order of decreasing size (Seg-1 to Seg-10). Genome segment 2 (Seg-2) encodes outer-capsid protein VP2, the most variable BTV protein and the primary target for neutralising antibodies. Consequently VP2 (and Seg-2) determine the identity of the twenty seven serotypes and two additional putative BTV serotypes that have been recognised so far. Current BTV vaccines are serotype specific and typing of outbreak strains is required in order to deploy appropriate vaccines. We report development and evaluation of multiple ‘TaqMan’ fluorescence-probe based quantitative real-time type-specific RT-PCR assays targeting Seg-2 of the 27+1 BTV types. The assays were evaluated using orbivirus isolates from the ‘Orbivirus Reference Collection’ (ORC) held at The Pirbright Institute. The assays are BTV-type specific and can be used for rapid, sensitive and reliable detection / identification (typing) of BTV RNA from samples of infected blood, tissues, homogenised Culicoides, or tissue culture supernatants. None of the assays amplified cDNAs from closely related but heterologous orbiviruses, or from uninfected host animals or cell cultures